COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub[let,jmc]" source
C00005 ENDMK
C⊗;
.require "let.pub[let,jmc]" source
.turn on "∂"
∂HOM Professor John Miller↓School of Mathematics↓Trinity College
↓University of Dublin↓Dublin 2↓IRELAND∞

Dear John,

	It looks like an opportunity to visit Dublin and briefly renew
our acquaintance is finally at
hand after all these years.  I plan to arrive on Friday October 26
on Aer Lingus 161 at 255pm from London
and leave on Tuesday October 30 on Aer Lingus 105 at 1230pm for New York.
I will be coming from Israel where I am taking part in a symposium
and leaving for the ACM meeting in Detroit.

	Since we last corresponded, a lot has happened.  I remarried
three years ago, but my wife Vera was killed in a mountaineering accident
in Nepal last year.  I will be getting married again next year to
a computer scientist Carolyn Talcott
with whom I am collaborating on a book on LISP.

	This year I am on leave at the Center for Advanced Studies in
the Behavioral Sciences at Stanford, where a group of six are studying
the relations between artificial intelligence and philosophy.
We are all enjoying it, but it remains to be seen whether the collaboration
will be fruitful for either side.

	If there is interest, and if it fits into the academic schedule,
I could give a talk entitled, "Two ways of expressing programs in
first order logic".  It is concerned with proving that programs
meet their specifications.
Presumably Monday would be the only possible time for a lecture.

	I am looking forward to meeting you and your wife Mary and some
of my relatives.

.begin nofill

∂(40)Best Regards to all,
.skip 3
∂(40)John McCarthy
.end